1561. Quasiconvex Optimization and Location Theory
پدیدآورنده: by Jaoquim António Santos Gromicho.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algorithms.,Computer science-- Mathematics.,Econometrics.,Information theory.,Mathematical optimization.,Mathematics.
1562. Quasidifferential Calculus
پدیدآورنده: edited by V. F. Demyanov, L. C. W. Dixon.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Mathematical optimization.,Mathematics.
1563. Radiation in Enclosures
پدیدآورنده: by Aristide Mbiock, Roman Weber.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Engineering mathematics.,Engineering.,Mathematical optimization.,Physics.
1564. Random processes in physical systems : an introduction to probability-based computer simulations
پدیدآورنده: Whitney, Charles Allen.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Computer simulation ، Science,، Random walks )Mathematics(,، Programming )Electronic computers(
رده :
Q
183
.
9
.
W49
1990
1565. Random processes in physical systems : an introduction to probability-based computer simulations
پدیدآورنده: Whitney, Charles Allen
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Computer simulation ، Science,، Random walks )Mathematics(,، Computer programming
رده :
Q
183
.
9
.
W49
1990
1566. Random processes in physical systems : an introduction to probability-based computer simulations
پدیدآورنده: Whitney, Charles Allen.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Science-- Computer simulation,، Random walks )Mathematics(,، Programming )Electronic computers(
رده :
Q
183
.
9
.
W49
1990
1567. Randomization and approximation techniques in computer science: International Workshop RANDOM'97 Bologna, Italy, July 11-12, 1997: proceedings
پدیدآورنده: Jose Rolim, ]ed.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Statistical methods - Congresses ، Computer science,Mathematics - Congresses ، Computer science
رده :
QA
76
.
9
.
M35
R36
1997
1568. Randomness and completeness in computational complexity
پدیدآورنده: / Dieter van Melkebeek
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Computational complexity.
رده :
QA
,
76
.
9
,.
M35
,
M54
,
2000
1569. Randomness and completeness in computational complexity
پدیدآورنده: Melkebeek, Dieter Van
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer science -- Mathematics,، Computational complexity
رده :
QA
76
.
L28
Vol
.
1950
1570. Reachability problems :
پدیدآورنده: Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
1571. Reachability problems
پدیدآورنده: Alain Finkel, Jérôme Leroux, Igor Potapov (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses,Computer systems-- Verification, Congresses,Decidability (Mathematical logic), Congresses
رده :
QA76
.
76
.
V47
R6
2012eb
1572. Reachability problems :
پدیدآورنده: Parosh Aziz Abdulla, Igor Potapov (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics -- Congresses.,Computer systems -- Verification -- Congresses.,Decidability (Mathematical logic) -- Congresses.
رده :
QA76
.
76
.
V47
P376
9999
1573. Realtime Data Minin
پدیدآورنده: / by Alexander Paprotny, Michael Thess
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science,Computer software,Electronic books
رده :
E-BOOK
1574. Recent advances in intelligent engineering systems
پدیدآورنده: Janos Fodor, Ryszard Klempous and Carmen Paz Suarez Araujo )eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Expert systems )Computer science( Congresses,، Engineering,، Artificial intelligence,، Engineering mathematics,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(,، Appl. Mathematics/Computational Methods of Engineering
رده :
QA
76
.
76
.
E95
R423
2012
1575. Recent trends in algebraic development techniques
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Abstract data types (Computer science) ; Congresses. ;
1576. Recent trends in algebraic development techniques
پدیدآورنده: / Jos?� Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
رده :
QA
,
76
.
754
,
W32
,
2004
1577. Recent trends in algebraic development techniques
پدیدآورنده: / Jose Luiz Fiadeiro, Pierre-Yves Schobbens (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Development--Congresses,Computer science--Mathematics--Congresses,Abstract data types (Computer science)--Congresses
رده :
QA
,
76
.
76
,.
D47
,
W33
,
2006
1578. Recent trends in algebraic development techniques
پدیدآورنده: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها
رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,
1579. Recent trends in algebraic development techniques :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software ; Development ; Congresses ; Computer science ; Mathematics ; Congresses ; Abstract data types (Computer science) ; Congresses ;
1580. Recent trends in algebraic development techniques
پدیدآورنده: Narciso Martí-Oliet, Miguel Palomino (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
76
.
D47
W33
2012
